#include "ulib.h"

extern char spin[];

void
user_entry(void)
{
	 sc_kprintf("Welcome to the EKOS-CC user land!\n");
	 
	 /* Here starts to initialize user lib component */
	 /* Base lib */
	 sc_mark_shared_4M(0);
	 ips_init();
	 va_init();
	 ipc_init();

	 /* System services */
	 pci_start();
	 
	 /* Test bench */
	 sc_kprintf("TESTBENCH START\n");
	 tb_kbd();

	 sc_kprintf("Finished\n");
	 
	 while (1) ;
}
